Termination analysis
Synonyms for "termination analysis" (7 found)
Ranked by relevance and common usage.
Closest matches (2)
Noun(2 words)
halting proofproof of termination
Strong matches (2)
Noun(2 words)
rewriting termination analysistermination check
Related words (3)
Noun(3 words)
termination prooftermination proof for rewritingtermination verification
Related word relations
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
More general
3 entriesformal methodsprogram analysisterm rewriting theory
More specific
6 entriesmultiset path orderingpath orderingranking functionrecursive path orderingsize change terminationwell founded ordering
Collocations
6 entriesautomatic termination analysisranking functionsize change terminationtermination analysis techniquetermination analysis toolwell founded ordering
Inflections
1 entriestermination analyses
Derivations
1 entriestermination analyzer